We study arithmetic and hyperarithmetic degrees of categoricity. We extend a result of E. Fokina, I. Kalimullin, and R. Miller to show that for every computable ordinal $\alpha$, $\mathbf{0}^{}$ is the degree of categoricity of some computable structure $\mathcal{A}$. We show additionally that for $\alpha$ a computable successor ordinal, every degree $2$-c.e. in and above $\mathbf{0}^{}$ is a degree of categoricity. We further prove that every degree of categoricity is hyperarithmetic and show that the index set of structures with degrees (...) of categoricity is $\Pi_{1}^{1}$-complete. (shrink)

We give several characterizations of Schnorr trivial sets, including a new lowness notion for Schnorr triviality based on truth-table reducibility. These characterizations allow us to see not only that some natural classes of sets, including maximal sets, are composed entirely of Schnorr trivials, but also that the Schnorr trivial sets form an ideal in the truth-table degrees but not the weak truth-table degrees. This answers a question of Downey, Griffiths and LaForte.

We investigate the relationship between lowness for Schnorr randomness and Schnorr triviality. We show that a real is low for Schnorr randomness if and only if it is Schnorr trivial and hyperimmune free.

We show that every countable ideal of degrees that are low for isomorphism is contained in a principal ideal of degrees that are low for isomorphism by adapting an exact pair construction. We further show that within the hyperimmune free degrees, lowness for isomorphism is entirely independent of computable traceability.

We study the connection between Schnorr triviality and genericity. We show that while no 2-generic is Turing equivalent to a Schnorr trivial and no 1-generic is tt-equivalent to a Schnorr trivial, there is a 1-generic that is Turing equivalent to a Schnorr trivial. However, every such 1-generic must be high. As a corollary, we prove that not all K-trivials are Schnorr trivial. We also use these techniques to extend a previous result and show that the bases of cones of Schnorr (...) trivial Turing degrees are precisely those whose jumps are at least 0". (shrink)

We show that van Lambalgen's Theorem fails with respect to recursive randomness and Schnorr randomness for some real in every high degree and provide a full characterization of the Turing degrees for which van Lambalgen's Theorem can fail with respect to Kurtz randomness. However, we also show that there is a recursively random real that is not Martin-Löf random for which van Lambalgen's Theorem holds with respect to recursive randomness.

The weakly random reals contain not only the Schnorr random reals as a subclass but also the weakly 1-generic reals and therefore the n -generic reals for every n . While the class of Schnorr random reals does not overlap with any of these classes of generic reals, their degrees may. In this paper, we describe the extent to which this is possible for the Turing, weak truth-table, and truth-table degrees and then extend our analysis to the Schnorr random and (...) hyperimmune reals. (shrink)

Review by: Johanna N. Y. Franklin The Bulletin of Symbolic Logic, Volume 19, Issue 1, Page 115-118, March 2013.

A real is Martin-Löf (Schnorr) random if it does not belong to any effectively presented null ${\Sigma^0_1}$ (recursive) class of reals. Although these randomness notions are very closely related, the set of Turing degrees containing reals that are K-trivial has very different properties from the set of Turing degrees that are Schnorr trivial. Nies proved in (Adv Math 197(1):274–305, 2005) that all K-trivial reals are low. In this paper, we prove that if ${{\bf h'} \geq_T {\bf 0''}}$ , then h (...) contains a Schnorr trivial real. Since this concept appears to separate computational complexity from computational strength, it suggests that Schnorr trivial reals should be considered in a structure other than the Turing degrees. (shrink)

We introduce several highness notions on degrees related to the problem of computing isomorphisms between structures, provided that isomorphisms exist. We consider variants along axes of uniformity, inclusion of negative information, and several other problems related to computing isomorphisms. These other problems include Scott analysis (in the form of back-and-forth relations), jump hierarchies, and computing descending sequences in linear orders.

La construcción de la nación y la transformación de lo político / Ingrid Johanna Bolívar.

“El futuro es un futuro urbano”. A partir de esta idea dominante se piensan y se materializan narrativas sobre asentamientos humanos en la era global; se pro- mueve la acción política y económica de la industria arquitectónica internacio- nal, y la “verdad económica” y la “verdad financiera” se situán en la prospectiva y el planeamiento urbano. ¿Es esta idea un relato de la realidad o, más bien, un problema de comprensión? A continuación, se realiza una breve exploración sobre los argumentos (...) que convierten la categoría diseño (arquitectónico) en una herramienta agencial en la invención de un futuro urbano inevitable. (shrink)

En el ámbito de la lógica matemática existe un problema sobre la relación lógica entre dos versiones débiles del Axioma de elección (AE) que no se ha podido resolver desde el año 2000 (aproximadamente). Tales versiones están relacionadas con ultrafiltros no principales y con Propiedades Ramsey (Bernstein, Polarizada, Subretículo, Ramsey, Ordinales flotantes, etc). La primera versión débil del AE es la siguiente (A): “Existen ultrafiltros no principales sobre el conjunto de los números naturales (ℕ)”. Y la segunda versión débil del (...) AE es la siguiente (B): “Existen ultraflitros sobre ℕ”. Se sabe que A implica B, pero se desconoce si B implica A. Di Prisco y Henle conjeturan en los artículos ([1], [2]) que esto no ocurre, es decir, conjeturan que B no implica A, en otras palabras, conjeturan que A es más fuerte estrictamente que B, que A es independiente de B, pero esto no se ha podido demostrar todavía aunque se ha intentado hacer desde hace aproximadamente 21 años. Una descripción detallada de este problema abierto puede encontrarse en esta ponencia (dictada en el marco del Día Mundial de la Lógica 14-01-2022) y en el artículo [3]. [1] C. Di Prisco y H. Henle. “Doughnuts, Floating Ordinals, Square Brackets, and Ultraflitters”. Journal of Symbolic Logic 65 (2000) 462-473. [2] C. Di Prisco y H. Henle. “Partitions of the reals and choice”. En “Models, algebras and proofs”. X. Caicedo y C.M. Montenegro. Eds. Lecture Notes in Pure and Appl. Math, 203, Marcel Dekker, 1999. [3] F. Galindo. “Tópicos de ultrafiltros”. Divulgaciones Matemáticas. Vol. 21, No 1-2, 2020. (shrink)

Es conocido que el método de forcing es una de las técnicas de construcción de modelos más importantes de la Teoría de conjuntos en la actualidad, siendo el mismo muy útil para investigar problemas de matemática y/o de fundamentos de la matemática. El destacado matemático Joan Bagaria afirma lo siguiente sobre el método de forcing en su artículo "Paul Cohen y la técnica del forcing" (Gaceta de la Real Sociedad Matemática Española, Vol. 2, Nº 3, 1999, págs 543-553) : "Aunque (...) Cohen recibió la medalla Fields por su demostración de la independencia de la hipótesis del continuo y del axioma de elección, su contribución va mucho más allá de estos problemas. Su nuevo método, el forcing, no sólo ha permitido resolver un sinfín de problemas importantes en prácticamente todas las áreas de las matemáticas, si no que ha cambiado para siempre nuestra concepción de la matemática como ciencia". El objetivo principal del siguiente trabajo es estudiar el método de forcing describiendo algunas de sus aplicaciones (forcing de Cohen, forcing aleatorio, forcing de Mathias, forcing de Sacks, forcing de Silver, etc.), y ofreciendo una aproximación a sus fundamentos metamatemáticos. Se aspira que estas notas sirvan de apoyo para aprender dicho método. (shrink)

Ultrafilters are very important mathematical objects in mathematical research [6, 22, 23]. There are a wide variety of classical theorems in various branches of mathematics where ultrafilters are applied in their proof, and other classical theorems that deal directly with ultrafilters. The objective of this article is to contribute (in a divulgative way) to ultrafilter research by describing the demonstrations of some such theorems related (uniquely or in combination) to topology, Measure Theory, algebra, combinatorial infinite, set theory and first-order logic, (...) also formulating some updated open problems of set theory that refer to non-principal ultrafilters on N, the Mathias’s model and the Solovay’s model. -/- Resumen: Los ultrafiltros son objetos matemáticos muy importantes en la investigación matemática [6, 22, 23]. Existen una gran variedad de teoremas clásicos en diversas ramas de la matemática donde se aplican ultrafiltros en su demostración, y otros teoremas clásicos que tratan directamente sobre ultrafiltros. El objetivo de este artículo es contribuir (de una manera divulgativa) con la investigación sobre ultrafiltros describiendo las demostraciones de algunos de tales teoremas relacionados (de manera única o combinada) con topología, teoría de la medida, álgebra, combinatoria infinita, teoría de conjuntos y lógica de primer orden, formulando además algunos problemas abiertos actuales de la teoría de conjuntos que se refieren a ultrafiltros no principales sobre N, al Modelo de Mathias y al Modelo de Solovay. (shrink)

_The purpose_ of this study is the reflection on ways of philosophical legitimation for the "Self-made-man" idea in the worldview of the Renaissance and Reformation. _Theoretical basis._ Historical, comparative, and hermeneutic methods became the basis for this. The study is based on the works of Nicholas of Cusa, G. Pico della Mirandola, N. Machiavelli, M. Montaigne, E. Roterodamus, M. Luther, J. Calvin together with modern researchers of this period. _Originality._ The analysis allows us to come to the conclusion that casts (...) doubt on the still widespread belief according to which the emergence of the "Self-made-man" idea is localized by the process of forming the American cultural code and the ideological heritage of Benjamin Franklin. It is highlighted that the formation of this idea is the result of a long process that originated in the ancient world and gains a special impetus in the Renaissance and Reformation. Precisely in the cultural context of the latter, the ancient intention to recognize the individual’s right to self-determination and self-government, which in the depths of Christian theology acquires only a potentially universal character, becomes not only acceptable but also, in the context of Protestantism worldview, the only admissible, in fact, individual’s obligatory life guidelines. _Conclusions._ Humanistic and reformation thoughts quite naturally led to further ideological legitimation of the person’s idea of who is creating oneself. This legitimation was during the complex interaction of numerous factors of culture in the Late Middle Ages, as well as ideas and intentions inherited from Antiquity. Key among them was the gradual formation of a new social order, in essence, indifferent to paternalistic rudiments, together with the ethics of Protestantism corresponding to it. The latter does not only legalize but, de facto, sacralizes the individual’s reorientation from hopes for the synergy of God’s grace and own free will in personal salvation, toward the self-reliance and personal efforts, awareness of personal responsibility for the own fate as key principles of the "Self-made-man" concept. (shrink)

En 1868, impulsado por el krausismo, se introdujo en el Bachillerato español una nueva asignatura, la Antropología. Nicolás Salmerón que no fue ajeno a la novedad, comenzó a escribir un texto para ella sobre la base de las explicaciones de clase que él mismo impartía en su Colegio Internacional. Ese texto dio lugar al libro que nos ocupa que, aunque inédito e incompleto, permite ofrecer una visión filosófica más completa de su etapa juvenil. Su mérito estriba en haber articulado en (...) disciplina una de las materias clave de la filosofía krausista y ofrecer una idea global e integradora de lo que con el tiempo se llamaría Antropología filosófica. (shrink)

This compilation brings together 20 essays of Santiago Ramón y Cajal (1852-1934), the neuroscientist par excellence and 1906 Nobel Laureate in Medicine, on topics beyond neuroanatomy, most appearing in English for the first time. The annotated collection makes available in one handy volume Cajal's ideas on psychology, art and education, still current and still relevant, derived from his books La Psicología de los Artistas, Charlas de Café, El Mundo Visto a los Ochenta Años, Pensamientos Pedagógicos and Escritos Inéditos. An acute (...) observer of the intellectual and social scene of the avant-garde, Cajal emerged in 20th-century Spain in a further role as a philosopher and educator. The contents bespeak Cajal's inquiry into the varieties of human experience and shed new light on the breadth of his genius, imagination and passion, helping us to rethink what we thought we already understood about Don Santiago's own mind. (shrink)

Abstract Internet communication technology has been said to affect our sense of self by altering the way we construct “personal identity,” understood as identificatory valuative narratives about the self; in addition, some authors have warned that internet communication creates special conditions for moral agency that might gradually change our moral intuitions. Both of these effects are attributed to the fact that internet communication is “disembodied.” Our aim in this paper is to establish a link between this complex of claims and (...) past and ongoing research in phenomenology, empirical psychology and cognitive science, in order to formulate an empirical hypothesis that can assist development and evaluation of recent technology for embodied telecommunication. We first suggest that for the purposes of interdisciplinary exchange, personal identity is formally best represented by a selection function that (for temporal intervals of variable length) “bundles” capacity ascriptions into identificatory narratives. Based on this model, we discuss which cultural changes engendered by the internet affect the construction of personal identity in ways that diminish our ethical sensitivies. In a second step, working from phenomenological claims by Martin Buber, we argue that disembodied communication severs two modes of cognitive function, preconceptual and conceptual, which tie together moral motivation, self-experience, and identity construction. We translate Buber’s claims into the theoretical idiom of the “theory of cognitive orientation,” a psychological theory of motivation that links up with recent research in embodied cognition. In a third step, we investigate whether the embodiment of the internet with communication robots (e.g., telenoids) holds out the prospect of reverting this structural change at least partially. We conclude by formulating an empirical hypothesis (for researchers in cognitive science) that has direct import, we submit, on the question whether embodied telecommunication promises a new form of ethically sensitive self-constituting encounter. Content Type Journal Article Category Special Issue Pages 1-23 DOI 10.1007/s13347-012-0064-9 Authors Johanna Seibt, Department for Philosophy and the History of Ideas, Aarhus University, Aarhus, Denmark Marco Nørskov, Department for Philosophy and the History of Ideas, Aarhus University, Aarhus, Denmark Journal Philosophy & Technology Online ISSN 2210-5441 Print ISSN 2210-5433. (shrink)

Sudoku puzzles, which are popular worldwide, require individuals to infer the missing digits in a 9 9 array according to the general rule that every digit from 1 to 9 must occur once in each row, in each column, and in each of the 3-by-3 boxes in the array. We present a theory of how individuals solve these puzzles. It postulates that they rely solely on pure deductions, and that they spontaneously acquire various deductive tactics, which differ in their difficulty (...) depending on their “relational complexity”, i.e., the number of constraints on which they depend. A major strategic shift is necessary to acquire tactics for more difficult puzzles: solvers have to keep track of possible digits in a cell. We report three experiments corroborating this theory. We also discuss their implications for theories of reasoning that downplay the role of deduction in everyday reasoning. (shrink)

Here presented are three singular, philosophical perspectives on the Delhi student protests which took place in 2019 and 2020, before the coronavirus pandemic. The writers hail from India, England...

The medical ethics of a physician’s relationship with a prisoner who is participating in a collective hunger strike has become a major public, professional, and governmental concern in The Republic of Turkey. This article examines the Turkish experience and debate about physician ethics during prison hunger strikes. It is hoped that this analysis will be of use to those formulating policy in similar situations.

Definición del derecho natural -- Definición del derecho de gentes -- Diferencia de otras ciencias -- Del derecho público -- De la política -- Necesidad y utilidad del derecho natural y de gentes -- Origen y antiguedad de este derecho -- Formación de esta ciencia -- Progresos y escritores principales. Hugo Grotius -- John Selden -- Thomas Hobbes -- Samuel Pufendorf -- Christian Thomasius -- Johann Gottlieb Heineccius -- Christian Wolff -- Emer de Vattel -- Jean-Jacques Burlamaqui. Fortunato Bartolomeo De (...) Felice -- Otros escritores en com un -- Montesquieu -- Simon-Nicolas-Henri Linguet -- Jean-Jacques Rousseau -- Escritos modernos detestables -- Vicios y defectos de muchos modernos -- Modo para conocer los autores sospechosos -- Autores católicos con que se refutan -- Precaución para establecer las reglas del derecho natural -- Falsa preocupaci on de buscar un primer principio -- Métodos que se proponen -- No son necesarios -- Del método escolástico -- Universidades en que se enseña este derecho. (shrink)